Just Testing

Abstract The concept of must testing is naturally parametrised with a chosen completeness criterion, defining the complete runs system. Here I employ justness as this instead traditional choice progress. resulting must-testing preorder incomparable default one, and can be characterised fair failure Vogler. It also coarsest precongruence preserving linear time properties when assuming justness. As my system model here Petri nets read arcs. Through their net semantics, work applies equally well to process algebras. provide semantics for standard algebra extended signals; arcs are necessary capture those signals.